perm filename JAPAN.MSG[W87,JMC] blob
sn#835996 filedate 1987-03-06 generic text, type C, neo UTF8
COMMENT ⊗ VALID 00002 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00002 00002 ∂09-Feb-87 0453 @SUMEX-AIM.STANFORD.EDU,@NTT-20:masahiko@nttlab Re: visit
C00018 ENDMK
C⊗;
∂09-Feb-87 0453 @SUMEX-AIM.STANFORD.EDU,@NTT-20:masahiko@nttlab Re: visit
Received: from SUMEX-AIM.STANFORD.EDU by SAIL.STANFORD.EDU with TCP; 9 Feb 87 04:53:05 PST
Received: from NTT-20 by SUMEX-AIM.STANFORD.EDU with Cafard; Mon 9 Feb 87 04:51:26-PST
Received: from nttlab.ntt.junet by NTT-20.NTT.JUNET with TCP; Sun 8 Feb 87 22:54:20
Received: by nttlab.ntt.junet (4.12/5.0N) with TCP; Sun, 8 Feb 87 22:55:46 jst
Date: Sun, 8 Feb 87 22:55:46 jst
From: masahiko%ntt.junet@nttlab (Masahiko Sato)
Message-Id: <8702081355.AA05659@nttlab.ntt.junet>
To: JMC%SAIL.STANFORD.EDU%sumex-aim@ntt-20
In-Reply-To: John McCarthy's message of 05 Feb 87 2054 PST
Subject: Re: visit
Dear Professor McCarthy,
It is nice that you and Carolyn will be coming to Japan. I and
Professor Ito will welcome you in Sendai.
The number you tried [22 227-6200 x2628] is correct, but I was in
Kyoto for a week and could not answer the phone. You can also try my
home phone which is 22 267-2890. On weekdays I will be in my office
from 10am to 7pm. If you could call my home between 8am and 9:30am
(that is between 3pm and 4:30pm in your time), you would be able to
catch me for sure. I will also try to call you.
** masahiko **
P.S. My best email address is MS@SAIL. (sato@russell works but it is
not so reliable.)
∂17-Feb-87 1130 @SUMEX-AIM.STANFORD.EDU,@NTT-20:masahiko@nttlab email addresses
Received: from SUMEX-AIM.STANFORD.EDU by SAIL.STANFORD.EDU with TCP; 17 Feb 87 11:30:40 PST
Received: from NTT-20 by SUMEX-AIM.STANFORD.EDU with Cafard; Mon 16 Feb 87 07:04:22-PST
Received: from nttlab.ntt.junet by NTT-20.NTT.JUNET with TCP; Mon 16 Feb 87 22:51:01
Received: by nttlab.ntt.junet (4.12/5.0N) with TCP; Mon, 16 Feb 87 22:52:58 jst
Date: Mon, 16 Feb 87 22:52:58 jst
From: masahiko%ntt.junet@nttlab (Masahiko Sato)
Message-Id: <8702161352.AA06951@nttlab.ntt.junet>
To: jmc%sail.stanford.edu%sumex-aim@ntt-20,
clt%sail.stanford.edu%sumex-aim@ntt-20
Subject: email addresses
Dear John and Carolyn,
Here is a list of addresses you requested.
Susumu Hayashi
hayashi%kurims.kyoto-u.junet%utokyo-relay@relay.cs.net
Takafumi Sakurai
a87480%tansei.u-tokyo.junet%utokyo-relay@relay.cs.net
Hayao Nakahara
a32275%tansei.u-tokyo.junet%utokyo-relay@relay.cs.net
I am now contacting Arima at ICOT and Nakagawa at Yokohama National
University who are interested in common sense reasoning.
** masahiko **
∂24-Feb-87 0703 @SUMEX-AIM.STANFORD.EDU,@NTT-20:masahiko@nttlab Your schedule in Tokyo
Received: from SUMEX-AIM.STANFORD.EDU by SAIL.STANFORD.EDU with TCP; 24 Feb 87 07:03:41 PST
Received: from NTT-20 by SUMEX-AIM.STANFORD.EDU with Cafard; Tue 24 Feb 87 07:01:12-PST
Received: from nttlab.ntt.junet by NTT-20.NTT.JUNET with TCP; Tue 24 Feb 87 23:02:17
Received: by nttlab.ntt.junet (4.12/5.0N) with TCP; Tue, 24 Feb 87 23:01:47 jst
Date: Tue, 24 Feb 87 23:01:47 jst
From: masahiko%ntt.junet@nttlab (Masahiko Sato)
Message-Id: <8702241401.AA25951@nttlab.ntt.junet>
To: jmc%sail.stanford.edu%sumex-aim@ntt-20,
clt%sail.stanford.edu%sumex-aim@ntt-20
Subject: Your schedule in Tokyo
Dear John and Carolyn,
(1) I talked to Mr. Arima at ICOT about your visit. He is interested
in circumscription, and he is hoping to have a meeting at ICOT on
April 7 (if possible). His plan for the day is (i) to have a
discussion with you and (ii) to hear your lecture on common sense
knowldge. A small group of people interested in the foundation of AI
will come to the meeting.
(2) I talked to Dr. Nori Suzuki of IBM Japan. He is the director of
Tokyo Research Center, and he says that he would like to have your
visit to the Research Center anytime after April 4.
(3) Shigeki Goto and Ikuo Takeuti are wishing to have your visit to
NTT's Musashino Laboratory.
Please let me hear your opinion about these possible plans.
** masahiko **
∂28-Feb-87 0702 @SUMEX-AIM.STANFORD.EDU,@NTT-20:masahiko@nttlab Re: Tokyo visits
Received: from SUMEX-AIM.STANFORD.EDU by SAIL.STANFORD.EDU with TCP; 28 Feb 87 07:02:22 PST
Received: from NTT-20 by SUMEX-AIM.STANFORD.EDU with Cafard; Sat 28 Feb 87 06:59:23-PST
Received: from nttlab.ntt.junet by NTT-20.NTT.JUNET with TCP; Sat 28 Feb 87 23:32:25
Received: by nttlab.ntt.junet (4.12/5.0N) with TCP; Sat, 28 Feb 87 23:32:10 jst
Date: Sat, 28 Feb 87 23:32:10 jst
From: masahiko%ntt.junet@nttlab (Masahiko Sato)
Message-Id: <8702281432.AA09522@nttlab.ntt.junet>
To: jmc%sail.stanford.edu%sumex-aim@ntt-20
In-Reply-To: John McCarthy's message of 25 Feb 87 0205 PST
Subject: Re: Tokyo visits
Ok, I will talk to Prof. Goto, and will let him know your visit.
∂05-Mar-87 0702 @SUMEX-AIM.STANFORD.EDU,@NTT-20:masahiko@nttlab Your visit
Received: from SUMEX-AIM.STANFORD.EDU by SAIL.STANFORD.EDU with TCP; 5 Mar 87 07:02:08 PST
Received: from NTT-20 by SUMEX-AIM.STANFORD.EDU with Cafard; Thu 5 Mar 87 06:59:45-PST
Received: from nttlab.ntt.junet by NTT-20.NTT.JUNET with TCP; Thu 5 Mar 87 18:54:03
Received: by nttlab.ntt.junet (4.12/5.0N) with TCP; Thu, 5 Mar 87 18:53:58 jst
Date: Thu, 5 Mar 87 18:53:58 jst
From: masahiko%ntt.junet@nttlab (Masahiko Sato)
Message-Id: <8703050953.AA13317@nttlab.ntt.junet>
To: jmc%sail.stanford.edu%sumex-aim@ntt-20
Subject: Your visit
I talked to Professor Goto, and he said he was looking forward to your
visit. Please contact him when you arrived in Kyoto. His telephone
numbers are: 03-812-2111 ext. 4113 (Tokyo Univ.) and 03-828-3794 (a
research institute for Josephson computer).
Professor Ito is wishing to organize a lecture by you for faculty
members and students of Tohoku University. The lecture will be hosted
by the Faculty of Engineering, and we would like to have it on April
10 if possible.
Iwanami Shoten (one of the best publisher in Japan) is asking if it
would be possible to tape-record your lecture and publish the
translation in one of their scientific magazines.
Moreover, it would be nice if you could give a talk whose title would be
something like: "Lisp and AI". Your contributions to Lisp and AI are so
great that it will be a great opportunity for the audience of your lecture
(and also for the readers of the recorded lecture). An informal and
non-technical talk will be welcome. I would like to hear about
history of Lisp, your opinion on Common Lisp, Lisp machine, concurrent
or parallel Lisp etc. (Well, there are so many things to talk on Lisp
alone.)
Please let me know:
(1) if you would accept to give a talk and
(2) if you would permit to publish your talk.
If your answer is positive, please also let me know the title of your
talk. If you must work hard to prepare the talk, then please don't
hesitate to say no.
** masahiko **
∂05-Mar-87 2232 ARIMA%icot.jp@RELAY.CS.NET On your visit to ICOT (Tokyo)
Received: from RELAY.CS.NET by SAIL.STANFORD.EDU with TCP; 5 Mar 87 22:31:49 PST
Received: from relay2.cs.net by RELAY.CS.NET id ai14113; 6 Mar 87 1:20 EST
Received: from icot.jp by RELAY.CS.NET id aa06231; 6 Mar 87 1:14 EST
Received: from ICOT20.ICOT.JP by icot.jp (1.1/6.2[Junet/CSnet])
id AA21384; Fri, 6 Mar 87 13:31:43 JST
Date: Fri 6 Mar 87 13:32:02
From: ARIMA%ICOT20.ICOT%icot.jp@RELAY.CS.NET
Subject: On your visit to ICOT (Tokyo)
To: jmc@SAIL.STANFORD.EDU
Message-Id: <12284117363.26.ARIMA@ICOT20.ICOT.JP>
Dear Prof. McCarthy
Prof. Masahiko Sato informed us of your visit to ICOT. It is our great
pleasure to meet you. We are always encouraged in our studies by your
remarkable contributions to AI fields.
Now, we would like to arrange your plan at ICOT. The following is our
proposal for your visit to ICOT. Please let us know your opinions with
respect to this.
Visiting plan to ICOT
1.(date) April 7 [Tue]
2.(approximately 2 hours in the morning) Informal
discussions about "Non-monotonic Reasoning" with a few
persons, including Prof. Nakagawa and me (Arima), who are
strongly interested in it and studying it actually.
3.(approximately 2 hours in the afternoon) We would like
to have your lecture on your current research topics. The
attendance will be ICOT members and some othe researchers
who have interest in the topics.
Please inform us what title your lecture is and what you
use in the lecture (OHP, slide projector, etc).
We are looking forward to seeing you in Tokyo and discussing some problems
of AI with you.
Sincerely yours,
Jun Arima
Researcher
cc: Dr. Furukawa ( Deputy Director, Research Center )
cc: Dr. Ito ( Chief, First Research Laboratory )
-------
∂27-Feb-87 2113 OKUNO@SUMEX-AIM.STANFORD.EDU Your visit to Japan
Received: from SUMEX-AIM.STANFORD.EDU by SAIL.STANFORD.EDU with TCP; 27 Feb 87 21:13:11 PST
Date: Fri 27 Feb 87 21:12:14-PST
From: Hiroshi "Gitchang" Okuno <Okuno@SUMEX-AIM.STANFORD.EDU>
Subject: Your visit to Japan
To: jmc@SAIL.STANFORD.EDU
Message-ID: <12282551817.30.OKUNO@SUMEX-AIM.STANFORD.EDU>
John,
Thanks for arranging a seminar for Mr. Hibino. Today, I called Tak
and knew that you would visit ECL. It's a great fun of us. I would
like to suggest you that you would visit Riken (The Institute of
Physical and Chemical Research) to meet Dr. Sasaki to discuss on
parallel algorithm on Symbolic Manipulation. As you know, he is the
most active researchers in Symbolic Algebra in Japan and he developed
a BIGNUM package for REDUCE system when he stayed at Univ. of Utah. I
knew the name of Broebner basis by his papers. If necessary, I would
arrange your visit to Riken. More precisely, I'll ask Tak to arrange
it.
Have a nice trip,
- Gitchang -
-------